Theorem PrincipalSeg.apply_subrelIso

Modification history