Theorem Basis.addSubgroupOfClosure_repr_apply

Modification history