src/ZF/Resid/Substitution.thy
changeset 10350 813a4e8f1276
parent 9284 85a5355faa91
child 11319 8b84ee2cc79c