exponential): improve module docstring (#18522)

Commit

2 years ago

doc(set_theory/ordinal/exponential): improve module docstring (#18522) Pair: https://github.com/leanprover-community/mathlib4/pull/2551

Author

vihdzp

Parents