src/ZF/Resid/Residuals.thy
changeset 11145 3e47692e3a3e
parent 3840 e0baea4d485a
child 11319 8b84ee2cc79c