Theorem Quotient.eval_mk

Modification history