Theorem Basis.mk_eq_rank

Modification history