Commit 2024-10-04 18:34 dfcf58dd
View on Github →chore: make Integrable.of_finite
have no explicit argument (#17323)
This makes it really useful to fill in side conditions on the fly using anonymous dot notation. Also deprecate Integrable.of_isEmpty
which is straightforwardly a special case of it (see eg stronglyMeasurable_of_isEmpty
for a similar existing deprecation).
From PFR