Theorem wellFounded_iff_wellFounded_subrel

Modification history