Theorem InverseSystem.isNatEquiv_piEquivLim

Modification history

2024-11-07 18:54
Mathlib/Order/DirectedInverseSystem.lean
feat: cardinalities in specific inverse systems (#18067) …
Added InverseSystem.isNatEquiv_piEquivLimView on Github →