mathlib

b3c749b4 - remove superflous parameter from bot_eq_zero