mathlib3
49ecc7b0 - fix(*): fix things from change tendsto_congr -> tendsto.congr'

Commit

6 years ago

fix(*): fix things from change tendsto_congr -> tendsto.congr'

References

#748 - asymptotics and the Fréchet derivative

Author

avigad

avigad

Committer

avigad

avigad

Parents

Loading