maybe_fenced
============

.. currentmodule:: proveit

.. autofunction:: maybe_fenced