search

SKolodynski / IsarMathLib

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

Uniformly continuous functions #12

Closed dan323 closed 4 years ago

dan323 commented 4 years ago

A new file adding the definition of uniformly continuous functions.

dan323 commented 4 years ago

Partly solves SKolodynski/IsarMathLib#8