src/HOL/Factorial.thy
changeset 78659 b5f3d1051b13
parent 75865 62c64e3e4741
child 79566 f783490c6c99