Theorem Cardinal.isRegular_cof

Modification history