Theorem Relation.map_apply

Modification history

2023-12-14 10:29
Mathlib/Logic/Relation.lean
feat: More clique lemmas (#8007) …
Added Relation.map_applyView on Github →