Theorem min_associative

Modification history