in_bool

proveit.logic.in_bool(\*elements)[source]