Commit 2024-02-21 15:14 bafc1ac7

View on Github →

feat: add MeasurableEmbedding.comap_add (#10795) Also add a simp attribute to AbsolutelyContinuous.zero.

Estimated changes