mathlib

994cf52d - rename function to something more meaningful