Theorem Basis.dual_rank_eq

Modification history