Theorem Subspace.dualPairing_eq

Modification history