mathlib3
8f0b63ca - shall we merge this, or just do it in mathlib4?

Commit

2 years ago

shall we merge this, or just do it in mathlib4?

References

bundle_instances

Author

fpvandoorn

fpvandoorn

Parents

Loading