Commit 2024-11-30 00:03 e1064d2a

View on Github →

feat(Algebra/Homology): more duality results (#19559) Given an homological complex K, we introduce duality isomorphisms like cyclesOpIso : K.op.cycles i ≅ op (K.opcycles i) and study their naturality.

Estimated changes