Theorem WfDvdMonoid.induction_on_irreducible

Modification history