Theorem Sylow.characteristic_of_normal

Modification history