Chapter 17 Abstraction with Equivalences and Partitions - Retraction Notice | RetractBase