Theorem Quotient.list_ind

Modification history