feat(*): add various small lemmas - SemanticDiff

Commit

6 years ago

feat(*): add various small lemmas

References

#748 - asymptotics and the Fréchet derivative

Author

avigad

avigad

Committer

avigad

avigad

Parents

Loading