Theorem Module.Dual.eval_apply

Modification history