Theorem Cardinal.type_cardinal

Modification history