Theorem Subspace.finrank_dualCoannihilator_eq

Modification history