Theorem MulHom.srange_top_of_surjective

Modification history