src/HOL/Library/Finite_Lattice.thy
changeset 67951 655aa11359dc
parent 67829 2a6ef5ba4822
child 69260 0a9688695a1b