diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2024-05-25 01:21:17 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2024-05-25 01:21:17 +0200 |
| commit | a5deeef9c3214f0f2ccd90789f5344a88544d65b (patch) | |
| tree | 3f9596c737946b2dd42eb27c52250676fda77f95 /library/topology/order-topology.tex | |
| parent | 091da55df4de2d27697203fdddcdacd3c713b38c (diff) | |
Prove `emptyset_open` to replace structure axiom
Diffstat (limited to 'library/topology/order-topology.tex')
0 files changed, 0 insertions, 0 deletions