Theorem InitialSeg.strictMono

Modification history