Theorem Basis.eval_ker

Modification history