Theorem Dense.mono

Modification history