Theorem Monotone.set_prod

Modification history