mathlib
c9323b94 - WIP: try to replace `part_enat` with `enat` in `multiplicity`

Commit

3 years ago

WIP: try to replace `part_enat` with `enat` in `multiplicity`

References

enat-multiplicity

Author

Vierkantor

Vierkantor

Parents

Loading