Theorem Subspace.dualLift_rightInverse

Modification history