Theorem multipliableUniformlyOn_of_clog

Modification history