Theorem Cardinal.succ_zero

Modification history