Theorem Prod.is_min_iff

Modification history