Theorem Cauchy.mono

Modification history