Theorem Function.apply_invFun_apply

Modification history

2024-04-19 20:51

Mathlib/Logic/Function/Basic.lean

chore(Logic): reduce use of autoImplicit (#12135) …

Modified Function.apply_invFun_apply View on Github →

2023-08-01 08:16

Mathlib/Logic/Function/Basic.lean

feat: generalize universes for connected categories (#6237)

Added Function.apply_invFun_apply View on Github →