dependent issue A - Githubissues

bryangingechen / mathlib4

The math library of Lean 4

https://leanprover-community.github.io/mathlib4_docs

Apache License 2.0

0 stars 0 forks source link

dependent issue A #9

Closed bryangingechen closed 3 months ago

bryangingechen commented 3 months ago

[ ] depends on: #8

trigger?

github-actions[bot] commented 3 months ago

This PR/issue depends on:

bryangingechen/mathlib4#8 By Dependent Issues (🤖). Happy coding!