Theorem Basis.eval_injective

Modification history