src/ZF/AC/AC7_AC9.thy
changeset 82900 bd3685e5f883
parent 76219 cf7db6353322