Properties concern how something works; classes concern what gets classified. The theorems address o...
This proposition has not been edited since the history system was added.