Theorem Subalgebra.finrank_bot

Modification history