Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Module.pi_iso_pi_inv_kernel_ι

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_inv_kernel_ι View on Github →