brooklym5973 brooklym5973 13-12-2022 Mathematics contestada if we are proving a theorem by induction on the typing of a lambda expression, what are the inductive cases of our proof?