Theorem MulHom.srange_top_iff_surjective

Modification history