Theorem InitialSeg.leAdd_apply

Modification history