Theorem Cardinal.isUnit_iff

Modification history

2023-02-24 10:36

Mathlib/SetTheory/Cardinal/Divisibility.lean

feat: Port SetTheory.Cardinal.Divisibility (#2473)

Added Cardinal.isUnit_iff View on Github →