iterate): Cancelling iterates (#17956)

Commit

3 years ago

feat(logic/function/iterate): Cancelling iterates (#17956) We can cancel iterates of an injective function.

Author

YaelDillies

Parents