src/HOL/Quotient_Examples/Int_Pow.thy
changeset 66787 64b47495676d
parent 66453 cc19f7ca2ed6
child 67341 df79ef3b3a41