Theorem min_def'

Modification history