Comment Comment by gsf_emergency_4 Guys... Give me say, an accepted PR to mathlib and we can talk entropy parent gsf_emergency_4 11 months ago
