mathlib

869c719b - Comment formatting; rename some lemmas