{interval,circle}_integral): add strict inequalities (#11061)

Commit

4 years ago

feat(measure_theory/integral/{interval,circle}_integral): add strict inequalities (#11061)

References

Author

urkud

Parents