Theorem StrictMono.pow_right'

Modification history