mathlib

66c5616e - Change brackets per reviewer suggestion