Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.comp_apply

Modification history

2018-03-05 17:55
logic/function.lean
chore(*): cleanup
Added function.comp_applyView on Github →