mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

feat(category_theory): `discrete punit` is filtered and cofiltered

Open TwoFX opened this issue 3 years ago • 0 comments

Open in Gitpod

TwoFX avatar Aug 13 '22 21:08 TwoFX