Commit 2023-04-18 14:23 1c719e3b

View on Github →

feat: port CategoryTheory.Subobject.Types (#3503)

Estimated changes

Modified Mathlib.lean

Created Mathlib/CategoryTheory/Subobject/Types.lean

added theorem subtype_val_mono