Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.pi_equiv_subtype_sigma

Modification history

2018-09-21 17:46
data/equiv/basic.lean
feat(data/set): add set.pi
Added equiv.pi_equiv_subtype_sigmaView on Github →