Theorem Monotone.vecCons

Modification history