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