src/HOL/Library/Saturated.thy
changeset 66787 64b47495676d
parent 63762 6920b1885eff
child 70185 ac1706cdde25