Theorem Submodule.IsPrincipal.eq_bot_iff_generator_eq_zero

Modification history