Theorem Submonoid.map_supᵢ

Modification history