src/HOL/Library/Fraction_Field.thy
changeset 51188 9b5bf1a9a710
parent 49834 b27bbb021df1
child 53196 942a1b48bb31