mathematical-induction public under formal-proof 1 List Picture As a command Nothing is filed under mathematical-induction.