Theorem irrefl

Modification history

2024-08-23 10:19

Mathlib/Init/Algebra/Classes.lean

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

Modified irrefl View on Github →

2022-10-19 07:31

Mathlib/Init/Algebra/Classes.lean

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

Added irrefl View on Github →