kdrag.theories.logic.zf.slemma

kdrag.theories.logic.zf.slemma(thm, by=[], **kwargs)