Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pfun.ext

Modification history

2019-09-20 03:28
src/data/pfun.lean
chore(data/pfun): run `#sanity_check` (#1463)
Added pfun.extView on Github →