Theorem wellFounded_of_isEmpty

Modification history