mathlib
07e46bcf - feat(data/fin): iff on add or sub across last-0 break (#15916)

Commit

3 years ago

feat(data/fin): iff on add or sub across last-0 break (#15916) Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com>

Author

pechersky

Parents