src/ZF/Perm.thy
changeset 36050 88203782cf12
parent 32960 69916a850301
child 41160 be34449f6cba
equal deleted inserted replaced
36049:0ce5b7a5c2fd 36050:88203782cf12