Theorem Subspace.dual_finrank_eq

Modification history