search

Fabr-ce / lisaTopology

LISA plus added Topology
Apache License 2.0
0 stars 0 forks source link

Intersection of topologies #3

Open jarctan opened 1 week ago

jarctan commented 1 week ago

Prove that the intersection of topologies is a topology Help on how to state theorems: https://github.com/epfl-lara/lisa/pull/151/commits/e8c816c38b046fac6639feb8bcf52ea7c20285b0