Theorem Quotient.listChoice_mk

Modification history