Theorem Rep.coindToInd_of_support_subset_orbit

Modification history