mathlib

dd142a8f - Move utilities and equation unification into separate files