Theorem Relation.map_reflexive

Modification history

2025-03-17 11:54
Mathlib/Logic/Relation.lean
refactor(Setoid/Basic): Use `Relation.Map` (#22981) …
Added Relation.map_reflexiveView on Github →