1
Published 2022
Cambridge University Press
... language many results, proofs, and examples that were previously only implicit, incomplete, or expressed...