Theorem Module.eval_ker

Modification history