src/HOL/GCD.thy
changeset 51474 1e9e68247ad1
parent 49962 a8cc904a6820
child 51489 f738e6dbd844