RMod as closed symmetric monoidal category for a commutative ring

1. Proposition

2. Proof

2.3. monoidal

2.3.2. diagrams TODO

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 09:17