henryseg, 3 months ago @ProfKinyon Theorems are fancier than propositions.
@ProfKinyon Theorems are fancier than propositions.