fundamental_domain): allow `null_measurable_set`s (#12005)

Commit

3 years ago

refactor(measure_theory/group/fundamental_domain): allow `null_measurable_set`s (#12005)

Author

urkud

Parents