Theorem CompleteLattice.wellFounded_characterisations

Modification history