Alex' Garden
アレックスの庭
Search
Search
Dark mode
Light mode
Explorer
Home
❯
5_Archive
❯
3_Resources
❯
Uni
❯
Modules
❯
LSW
❯
VL
❯
VL04
❯
Coextensiveness
1 min read
🧑🤝🧑 Coextensiveness
===
universally implying
one another; having the same
class
==
Graph View
Backlinks
Extensional procedure
Propositional function