Theorem Subgroup.map_supᵢ

Modification history