Theorem LieModule.Cohomology.mem_twoCochain_iff

Modification history

2025-11-21 12:49
Mathlib/Algebra/Lie/Cochain.lean
feat(Algebra/Lie/Extension): 2-cocycle from a Lie algebra extension with abelian kernel and a linear splitting (#31462) …
Added LieModule.Cohomology.mem_twoCochain_iffView on Github →