Theorem Subspace.dualLift_of_subtype

Modification history