InstantiationFailure

exception proveit.InstantiationFailure(original_judgment, repl_map, assumptions, message)[source]