Def Equiv.piCongrSet

Modification history

2024-11-07 18:54
Mathlib/Logic/Equiv/Basic.lean
feat: cardinalities in specific inverse systems (#18067) …
Added Equiv.piCongrSetView on Github →