Theorem Ordinal.IsNormal.blsub_eq

Modification history