add bad lemma (nice for counterexample :) `preciseModificationPay` | Happy Commits! 😊

Happy Commits 😊

Olf EPAIN

Wabtey/ValidationTool-PriceNegociation
add bad lemma (nice for counterexample :) `preciseModificationPay`

@Wabtey about 2 years ago →

← previous commit next commit →