Theorem surjective_of_nonzero_of_finrank_eq_one

Modification history