search

morpho-org / morpho-blue-irm

Morpho Blue Interest Rate Models
https://morpho.org
MIT License
26 stars 17 forks source link

(nitpick) mathlib style #115

Closed MathisGD closed 10 months ago

MathisGD commented 10 months ago

Fixes https://github.com/morpho-org/morpho-blue-irm/pull/106#discussion_r1432491955

MerlinEgalite commented 10 months ago

conflicts to resolve @MathisGD