Theorem WfDvdMonoid.of_wellFounded_associates

Modification history