Theorem Sylow.smul_subtype

Modification history