Prosser's 16 Theorems

GPTKB entity