Theorem Quotient.finChoice_eq

Modification history