Relations: Practical Ways to Reason about `new (1996)

by Equations Names