Commit 2024-02-14 03:21 93d4e6e3

View on Github →

feat(Algebra/Category/Ring/Constructions): categorical product of rings is the cartesian product (#9394)

Estimated changes