Theorem Cardinal.nat_succ

Modification history