Theorem Subspace.dualEquivDual_apply

Modification history