# Commit 2024-08-01 10:24 0139a899

View on Github →feat(IntermediateValue): add `IsFixedPt`

corollaries (#15395)
Motivated by https://github.com/b-mehta/sharkovsky
Also move the definition of `Function.IsFixedPt`

to `Logic/Function/Defs`

.

feat(IntermediateValue): add `IsFixedPt`

corollaries (#15395)
Motivated by https://github.com/b-mehta/sharkovsky
Also move the definition of `Function.IsFixedPt`

to `Logic/Function/Defs`

.