Theorem WfDvdMonoid.max_power_factor

Modification history