Theorem inv_image.trans

Modification history

2022-10-24 02:02

Mathlib/Init/Logic.lean

feat: align `init.{core, logic}` (#490) …

Deleted inv_image.trans View on Github →

2022-08-24 11:42

Mathlib/Init/Logic.lean

feat: port 'section relation' in Init/Logic (#379) …

Added inv_image.trans View on Github →