mathlib
d223d978 - More `protected` in `finsupp` and `dfinsupp`

Commit

3 years ago

More `protected` in `finsupp` and `dfinsupp`

Author

Vierkantor

Vierkantor

Committer

Vierkantor

Vierkantor

Parents

Loading