forgetful functor from RMod to Ab as restriction of scalars

1. Proposition

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-20 So 09:06