search

SKolodynski / IsarMathLib

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

Some errors found in a file #1

Closed dan323 closed 4 years ago

dan323 commented 4 years ago

@SKolodynski, if you prefer to fix them in an other way I am open to it.