Theorem Quotient.induction_on_fintype_pi

Modification history