Theorem PrincipalSeg.mem_range_of_rel

Modification history