IsarMathLib

A library of formalized mathematics for Isabelle/ZF theorem proving environment

this is theory placeholder