Theorem InitialSeg.leLT_apply

Modification history