Def ComplexShape.symm

Modification history

2022-11-18 10:29
Mathlib/Algebra/Homology/ComplexShape.lean
feat: port Algebra.Homology.ComplexShape (#635) …
Added ComplexShape.symmView on Github →