Andrzej Trybulec suggests that JGRAPH_1:65, named "Fashoda meet theorem" by the author (Y. Nakamura), is a special case of a corollary from the Poincare-Miranda theorem. Any takers for proving PMT?
| WebForm | |
|---|---|
| TopicClassification | Select one... |
| ProjectGroup? | CollaborationProject? |
| ImplementationDate? | N/A |
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2010-03-11 - 21:34:14 - MizarReviewer
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback