Question d’entretien chez Evelyn

Difference between Definition and theorem.