Theorem Cardinal.isSuccLimit_ord

Modification history