Theorem eq_cosets_of_normal

Modification history