inclusion of F_p vector spaces into Ab is fully faithful

Date: nil

Author: Anton Zakrewski

Created: 2026-01-13 Di 22:09