specific_limits): two more limits (#5573)

Commit

5 years ago

chore(topology/algebra/ordered,analysis/specific_limits): two more limits (#5573)

Author

urkud

Parents