Theorem min_assoc

Modification history