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?
TopicClassification Select one...
ProjectGroup? CollaborationProject?
ImplementationDate? N/A
Topic revision: r1 - 2010-03-11 - 21:34:14 - MizarReviewer
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback