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.
Class
A class is a collection of elements of s.t. there is a formula with one free variable s.t. (i.e. is the interpretation of in ) Proper Class Function Class Relation Class