search

SKolodynski / IsarMathLib

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
https://isarmathlib.org
Other
16 stars 2 forks source link

Inverse map in roelcke uniformity #17

Closed dan323 closed 3 years ago

dan323 commented 3 years ago

Proof that adds to #4

The proof shows that the inverse map of a group is uniformily continious in the roelcke uniformity.