src/ZF/UNITY/Monotonicity.thy
changeset 66787 64b47495676d
parent 60770 240563fbf41d
child 67399 eab6ce8368fa