src/HOL/Algebra/Galois_Connection.thy
changeset 66787 64b47495676d
parent 65099 30d0b2f1df76
child 80914 d97fdabd9e2b