mathlib3
88e27fac - feat(category_theory/subobject): proof golf and some API

Commit

4 years ago

feat(category_theory/subobject): proof golf and some API

Author

TwoFX

TwoFX

Committer

TwoFX

TwoFX

Parents

Loading