Theorem Function.isPartialInv_left

Modification history

2026-03-17 12:17

Mathlib/Logic/Function/Basic.lean

feat: more API for Function.IsPartialInv (#36471) …

Deleted Function.isPartialInv_left View on Github →

2022-11-13 23:57

Mathlib/Logic/Function/Basic.lean

chore: renaming and alignment for various definitions and lemmas (#572)

Added Function.isPartialInv_left View on Github →