Theorem Relation.SymmGen.of_rel

Modification history

2026-02-06 22:29

Mathlib/Logic/Relation.lean

chore: rename `CompRel` to `Relation.SymmGen` (#34428) …

Added Relation.SymmGen.of_rel View on Github →