Theorem Ordinal.mk_initialSeg

Modification history