Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-08-11 09:19
a216784e
View on Github →
chore: restore Type* in SpecificLimits/IsROrC.lean (
#6515
) This was accidentally changed in
#6506
.
Estimated changes
Modified
Mathlib/Analysis/SpecificLimits/IsROrC.lean
modified
theorem
IsROrC.tendsto_inverse_atTop_nhds_0_nat