Mathlib v3 is deprecated. Go to Mathlib v4

Theorem module.Baer.chain_linear_pmap_of_chain_extension_of

Modification history