Theorem BoxIntegral.Box.volume_apply

Modification history

2023-06-05 10:31

Mathlib/Analysis/BoxIntegral/Partition/Measure.lean

feat: port Analysis.BoxIntegral.Partition.Measure (#4611)

Added BoxIntegral.Box.volume_apply View on Github →