The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.Submit other issues on GitHub.
Search
A relation class is a formula with two free variables.
Well-Founded Local Extensional