Commit 2024-02-14 03:21 93d4e6e3
View on Github →feat(Algebra/Category/Ring/Constructions): categorical product of rings is the cartesian product (#9394)
feat(Algebra/Category/Ring/Constructions): categorical product of rings is the cartesian product (#9394)