mathlib3
ca679aca - chore(algebra/direct_limit): linting (#4411)

Commit

5 years ago

chore(algebra/direct_limit): linting (#4411)

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

jcommelin

Parents

Loading