metamath / set.mm

Metamath source file for logic and set theory
Other
243 stars 88 forks source link

Comment edits: consistency around "(ordered-pair) class abstraction". #4013

Closed benjub closed 3 months ago

benjub commented 3 months ago

It began with shortening bj-opabco, and then, this leading to that, I edited several comments mentioning "class builder" or related terms to be more consistent and use preferably "class abstraction".

Note: this comment is purposefully not the initial comment of this PR to avoid putting it in the git history.