is_irreducible_value
====================

.. currentmodule:: proveit.logic

.. autofunction:: is_irreducible_value