mathlib3
bacd4da5 - chore(data/subtype): fix `∀` vs `Π` (#1940)

Commit

6 years ago

chore(data/subtype): fix `∀` vs `Π` (#1940) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

Author

urkud

Parents