Theorem Cardinal.eq_one_iff_unique

Modification history