Theorem refl_of

Modification history

2024-11-26 10:41

Mathlib/Order/Defs.lean

chore: split Order.Defs (#19498)

Modified refl_of View on Github →

2024-08-23 10:19

Mathlib/Init/Algebra/Classes.lean

chore(Init/Order): Rework files (#15228) …

Modified refl_of View on Github →

2022-10-19 07:31

Mathlib/Init/Algebra/Classes.lean

feat: port Init/Algebra/Classes.lean (#476)

Added refl_of View on Github →