Theorem Cardinal.induction_on_pi

Modification history