Theorem Subspace.dualAnnihilator_dualCoannihilator_eq

Modification history