mathlib
4b835cc1 - feat(category_theory/subobject): proof golf and some API (#7170)

Commit

4 years ago

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

Author

TwoFX

TwoFX

Parents

Loading