Theorem one_min

Modification history