Theorem Basis.mk_range_eq_rank

Modification history