Theorem Subtype.restrict_def
Modification history
2022-11-07 03:29
Mathlib/Data/Subtype.lean
feat: port Data.Subtype (#546)
Modified Subtype.restrict_defView on Github →2022-10-20 15:23
Mathlib/Data/Subtype.lean
chore: update lean + std4 10-20 (#483)
Modified Subtype.restrict_defView on Github →