src/HOL/ex/ThreeDivides.thy
changeset 30313 b2441b0c8d38
parent 29974 ca93255656a5
child 33025 cc038dc8f412