mathlib3
cbc58d6b - deduplicate `associated` and `associated'`

Commit

4 years ago

deduplicate `associated` and `associated'`

References

eric-wieser/form-scalar-actions

Author

eric-wieser

eric-wieser

Parents

Loading