@prashantvermaiiitb/mathlib (npm): mathlib in scope
Keywords: math|library