]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita/docs/tutorial/def-fish-rec-5-1.png
489dc3540020b6f10a0eb7d7b92e8f061320c060
[helm.git] / helm / www / matita / docs / tutorial / def-fish-rec-5-1.png
helm/www/matita/docs/tutorial/def-fish-rec-5-1.png