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

Estimated changes