Theorem WfDvdMonoid.max_power_factor'

Modification history