Summary
- merged
- Restored Riemann_Mapping as an import of Complex_Analysis
- proper file headers;
- clarified modules;
- merged
- database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);
- tuned signature: more operations;
- clarified signature: more explicit types;
- tuned signature;
- removed somewhat pointless check;
- tuned signature: fewer warnings in IntelliJ IDEA;
- merged
- Fixed a latex error in the markup