Theorem Ordinal.blsub_comp

Modification history