Theorem WellFounded.mono

Modification history