Results

**1 - 1**of**1**### The Fashoda Meet Theorem and Its Variants

"... Abstract – In this paper, we describe results of the formalization in Mizar of an extension of the Goboard Theorem called the Fashoda Meet Theorem [4]. This theorem states that the graphs of two continuous functions which take values in the Euclidean plane always have at least one common point if th ..."

Abstract
- Add to MetaCart

(Show Context)
Abstract – In this paper, we describe results of the formalization in Mizar of an extension of the Goboard Theorem called the Fashoda Meet Theorem [4]. This theorem states that the graphs of two continuous functions which take values in the Euclidean plane always have at least one common point if these functions satisfy certain conditions.