kdrag.theories.logic.zf.test ============================ .. currentmodule:: kdrag.theories.logic.zf .. autofunction:: test