Theorem Equivalence.reflexive

Modification history

2024-09-16 02:13

Mathlib/Init/Logic.lean

chore: final cleanup of `Mathlib.Init` (#16796) …

Modified Equivalence.reflexive View on Github →

2024-09-14 05:31

Mathlib/Init/Logic.lean

chore: tidy/move/deprecate `Init.Logic` and `IsSymmOp` more (#16757) …

Modified Equivalence.reflexive View on Github →

2022-11-16 23:18

Mathlib/Init/Logic.lean

feat: port Logic.Relation (#565) …

Added Equivalence.reflexive View on Github →