Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-12-11 11:46
02a5455c
View on Github →
doc: fix typos in the docstring of
Sigmoid
(
#32700
) Fix three wrong name spaces.
Estimated changes
Modified
Mathlib/Analysis/SpecialFunctions/Sigmoid.lean