Def Subtype.Simps.coe

Modification history

2022-11-20 06:21

Mathlib/Data/Subtype.lean

fix(Tactic/Simps): use capital letter for namespace (#647) …

Deleted Subtype.Simps.coe View on Github →

2022-11-07 03:29

Mathlib/Data/Subtype.lean

feat: port Data.Subtype (#546)

Added Subtype.Simps.coe View on Github →