src/HOL/Library/GCD.thy
changeset 23951 b188cac107ad
parent 23687 06884f7ffb18
child 23983 79dc793bec43
--- a/src/HOL/Library/GCD.thy	Tue Jul 24 15:20:48 2007 +0200
+++ b/src/HOL/Library/GCD.thy	Tue Jul 24 15:20:49 2007 +0200
@@ -252,7 +252,7 @@
   shows "m > 0"
 using assms by (cases m) auto
 
-lemma lcm_lowest:
+lemma lcm_least:
   assumes "m dvd k" and "n dvd k"
   shows "lcm (m, n) dvd k"
 proof (cases k)