Theorem Quotient.ind_fintype_pi

Modification history