Theorem Subalgebra.eq_bot_of_finrank_one

Modification history