Theorem Subalgebra.bot_eq_top_iff_rank_eq_one

Modification history