Strukturell induksjon.
Klikk for å snu kortet
Induksjon over rekursive strukturer. Basis: atomære. Steg: anta for deler, vis for hele.
Space / Enter for å snu