restore protected attribute - SemanticDiff

Commit

3 years ago

restore protected attribute

References

#15718 - chore(measure_theory/function/strongly_measurable): use `expand_exists` for `exists_set_sigma_finite`

Author

RemyDegenne

RemyDegenne

Parents

Loading