mathlib

3d6f427a - feat(data/fin/basic): fin refactor to use ne_zero