mathlib

fcb1a69e - Include equation in nonsingular