Theorem Basis.total_dualBasis

Modification history