mathlib
a1cfc5cc - feat(logic,data/equiv,prod): various lemmas (#1224)

Commit

7 years ago

feat(logic,data/equiv,prod): various lemmas (#1224) * feat(logic,data/equiv,prod): various lemmas * Update basic.lean * Update basic.lean

References

Author

cipher1024

Committer

mergify[bot]

Parents