Search
❯
Jun 05, 20261 min read
A relation class is a formula with two free variables.
Well-Founded Local Extensional