Theorem Function.LeftInverse.rightInverse

Modification history

2022-11-02 22:22

Mathlib/Logic/Function/Basic.lean

feat: port Logic.Function.Basic (#511)

Added Function.LeftInverse.rightInverse View on Github →