Chapter 19: The Setoid_replace tactic

Clément Renard







This chapter presents the Setoid_replace tactic.