Theorem Subrelation.antisymm

Modification history

2026-07-27 19:23

Mathlib/Logic/Relation.lean

chore: remove uses of `Subrelation` (#41450) …

Modified Subrelation.antisymm View on Github →

2026-07-06 13:36

Mathlib/Logic/Relation.lean

feat: lemmas about equality of `EqvGen` (#40792) …

Added Subrelation.antisymm View on Github →