free theorems

Sub-cards (0)Archived
Comments (1)
Reply

Theorems for free!”, possible only with a parametric/erased universal quantifier.