Theorem Relation.map_mono

Modification history

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