Theorem Quotient.eval_finChoice

Modification history