Theorem Cardinal.le_one_iff_subsingleton

Modification history