src/HOL/Algebra/Exponent.thy
changeset 35847 19f1f7066917
parent 32946 22664da2923b
child 35848 5443079512ea