Theorem StrictMono.pow_const

Modification history