## Library chebapprox.banach

- Banach fixed point theorem
- Canonical structure based automation for sign conditions
- Closed balls
- Banach Fixpoint Theorem
- Completeness of functions with uniform convergence over a domain

## Library chebapprox.div

## Library chebapprox.neighborhood

## Library chebapprox.chebyshev

## Library chebapprox.models

## Library chebapprox.intervals

## Library chebapprox.interpolation

## Library chebapprox.examples

## Library chebapprox.examples_full

## Library chebapprox.ideas

This page has been generated by coqdoc