Theorem CategoryTheory.Functor.mapSkeleton_injective

Modification history

2025-06-02 13:05
Mathlib/CategoryTheory/Skeletal.lean
feat(Algebra): The category of fin. gen. modules is essentially small (#25249)
Added CategoryTheory.Functor.mapSkeleton_injectiveView on Github →