Def Equiv.piUnique

Modification history

2023-11-11 01:53
Mathlib/Logic/Equiv/Defs.lean
feat: measurability of uniqueElim and piFinsetUnion (#8249) …
Added Equiv.piUniqueView on Github →