HomeIsabelle/Phabricator

Replace openI with topological_space_class.openI

Description

Replace openI with topological_space_class.openI

Details

Provenance
sgouezelAuthored on
Parents
rAFP1fb2c1cedac0: avoid clash with (new) global if_split
Branches
Unknown
Tags
Unknown

Event Timeline