Theorem InitialSeg.monotone

Modification history