Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.set_value

Modification history

2018-07-08 14:39
data/equiv/basic.lean
feat(data/pfun,...): add some isomorphism theorems
Added equiv.set_valueView on Github →