Theorem Function.RightInverse.leftInverse

Modification history

2022-11-02 22:22

Mathlib/Logic/Function/Basic.lean

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

Added Function.RightInverse.leftInverse View on Github →