Theorem eq_bot_of_generator_maximal_submoduleImage_eq_zero

Modification history