Commit 2020-10-20 05:38 21415c8c

chore(topology/algebra/ordered): drop section vars, golf 2 proofs (#4706)

• Explicitly specify explicit arguments instead of using section variables;
• Add continuous_min and continuous_max;
• Use them for tendsto.min and tendsto.max