A formalised proof of existence and uniqueness of solution to the simultaneous debt and equity pricing problem on a banking network.
Why do you think that https://github.com/leanprover-community/mathlib is a good alternative to exists-unique
A formalised proof of existence and uniqueness of solution to the simultaneous debt and equity pricing problem on a banking network.
Why do you think that https://github.com/leanprover-community/mathlib is a good alternative to exists-unique