.. nodoctest

======================================================================
 Automatic verification of the paper "All Cyclic Group Facets Inject"
======================================================================

.. automodule:: cutgeneratingfunctionology.igp.procedures.injective_2_slope_fill_in_proof
   :members:
   :undoc-members:
   :show-inheritance: