Theorem Basis.toDualEquiv_apply

Modification history