Theorem Module.eval_apply_injective

Modification history