mathlib

564e91f5 - Add note regarding addressing bug