Theorem Relation.SymmGen.of_antisymmRel_of_symmGen

Modification history

2026-02-06 22:29
Mathlib/Order/Antisymmetrization.lean
chore: rename `CompRel` to `Relation.SymmGen` (#34428) …
Added Relation.SymmGen.of_antisymmRel_of_symmGenView on Github →