Theorem finrank_eq_one_iff_of_nonzero'

Modification history