Theorem Cardinal.beth_succ

Modification history