Theorem Ordinal.IsNormal.monotone

Modification history