Theorem Cardinal.lt_one_iff_zero

Modification history