mathlib
4cc6f917 - Improved dot notation, hopefully more readable like this.

Commit

4 years ago

Improved dot notation, hopefully more readable like this.

References

kkytola/weak_convergence_def

Author

kkytola

kkytola

Parents

Loading