Theorem WellFounded.wellFoundedOn

Modification history