src/HOL/AxClasses/Lattice/LatMorph.thy
changeset 3362 0b268cff9344
parent 1573 6d66b59f94a9