Theorem Basis.addSubgroupOfClosure_apply

Modification history