Ймовірнісне значення в SPLAT виявилося дуже чистим!! Подяка простоті формалізму в 1.4 у статті Скріншот показує правило ланцюга. Мені подобається, що можна слідувати розділу з калькулюсу навіть без Lean-знань.