mathlib
85eb12df - feat(algebra/algebra/basic): product of two algebras (#4632)

Commit

5 years ago

feat(algebra/algebra/basic): product of two algebras (#4632)

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

jcommelin

Parents

Loading