Theorem InitialSeg.toOrderEmbedding_apply

Modification history