Theorem Ordinal.blsub_type

Modification history