Prod ==== .. currentmodule:: proveit.numbers .. autoclass:: Prod :show-inheritance: