Evelyn Interview Question

Difference between Definition and theorem.