Theorem PrincipalSeg.top_eq

Modification history