lemma (Q18241): Difference between revisions

Latest revision as of 14:41, 3 January 2024

theorem for proving more complex theorems

Language	Label	Description	Also known as
English	lemma	theorem for proving more complex theorems	helping theorem

0 references

0 references

0 references

0 references

@@ Property / instance of @@
+mathematical concept
@@ Property / instance of: mathematical concept / rank @@
+Normal rank
@@ Property / subclass of @@
+theorem
@@ Property / subclass of: theorem / rank @@
+Normal rank
@@ Property / subclass of @@
+proposition
@@ Property / subclass of: proposition / rank @@
+Normal rank
@@ Property / has use @@
+reduction
@@ Property / has use: reduction / rank @@
+Normal rank