Hinrich Mahler accepted merge request !13: Spacing issues and modifies gmp fhm styles at Hinrich Mahler / MiSiTeX

Hinrich Mahler
2021-09-12T20:24:59Z

Fixes spacing issues with interior and real, imaginary parts. Adds capital versions of sets like Domain, Graph, Support. Adds Sobolev Spaces. Adds convergence w.r.t. a form or topology. Adds minor changes to thms-gmp and thms-gmp-color