This repository contains a Lean formalisation of the Banach Fixed Point Theorem (also known as the Contraction Mapping Theorem), a fundamental result in metric space theory. The theorem guarantees the ...
In this paper, our purpose is to establish a common fixed point result for a pair of self-mappings satisfying some generalized cyclic contraction type conditions involving altering distance and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback