Theorem inv_image.irreflexive

Modification history

2022-10-24 02:02
Mathlib/Init/Logic.lean
feat: align `init.{core, logic}` (#490) …
Deleted inv_image.irreflexiveView on Github →
2022-08-24 11:42
Mathlib/Init/Logic.lean
feat: port 'section relation' in Init/Logic (#379) …
Added inv_image.irreflexiveView on Github →