src/HOL/Library/Finite_Lattice.thy
changeset 61952 546958347e05
parent 60679 ade12ef2773c
child 62343 24106dc44def