Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Module.pi_iso_pi_hom_ker_subtype

Modification history

2022-05-04 07:50
src/algebra/category/Module/products.lean
feat(algebra/category/FinVect): has finite limits (#13793)
Added Module.pi_iso_pi_hom_ker_subtypeView on Github →