Theorem Subspace.dualRestrict_leftInverse

Modification history