Theorem Function.onFun_apply

Modification history

2023-04-01 16:28
Mathlib/Logic/Function/Basic.lean
chore: Miscellaneous lemmas (#3213) …
Added Function.onFun_applyView on Github →