User:Boris Tsirelson/Sandbox1: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson No edit summary |
imported>Boris Tsirelson No edit summary |
||
Line 7: | Line 7: | ||
{{Image|Isabelle4.png|right|350px|The formulation of the first lemma is processed; the goal is pending.}} | {{Image|Isabelle4.png|right|350px|The formulation of the first lemma is processed; the goal is pending.}} | ||
{{Image|Isabelle5.png|right|350px| | {{Image|Isabelle5.png|right|350px|At last, a serious lemma.}} | ||
{{Image|Isabelle6.png|right|350px| | {{Image|Isabelle6.png|right|350px|The goal.}} | ||
{{Image|Isabelle7.png|right|350px| | {{Image|Isabelle7.png|right|350px|"We have", why?}} | ||
{{Image|Isabelle8.png|right|350px| | {{Image|Isabelle8.png|right|350px|Here is why!}} | ||
{{Image|Isabelle9.png|right|350px|Add image caption here.}} | {{Image|Isabelle9.png|right|350px|Add image caption here.}} |