src/HOL/Library/Function_Division.thy
changeset 67003 49850a679c2c
parent 60500 903bb1495239
child 69593 3dda49e08b9d