is_irreducible_value

proveit.logic.is_irreducible_value(expr)[source]