src/HOL/ex/Lagrange.thy
changeset 18041 052622286158
parent 17388 495c799df31d
child 19736 d8d0f8f51d69