Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.hfunext

Modification history

2018-04-16 19:01
logic/function.lean
chore(*): trailing spaces
Modified function.hfunextView on Github →
2018-03-07 13:46
logic/function.lean
feat(logic/function): add hfunext and funext_iff
Added function.hfunextView on Github →