src/HOL/Algebra/Divisibility.thy
changeset 66787 64b47495676d
parent 66579 2db3fe23fdaf
child 67343 f0f13aa282f4