Theorem finrank_eq_rank

Modification history