Closed JacquesCarette closed 2 years ago
And adjust some proofs to be equational, to make them look nicer.
And adjust some proofs to be equational, to make them look nicer.