Theorem CompleteLattice.wellFoundedGT_characterisations

Modification history