Theorem Submonoid.Fg.map_injective

Modification history