definition by induction

<2024-03-28 Thu 10:50:17> mahmood
math