HomeIsabelle/Phabricator

Replace openI with topological_space_class.openI

Authored by sgouezel.

Description

Replace openI with topological_space_class.openI

Details

Committed
sgouezelFeb 24 2016, 10:35 PM
Parents
rAFP1fb2c1cedac0: avoid clash with (new) global if_split
Branches
Unknown
Tags
Unknown

Event Timeline