Theorem ComplexShape.prev_eq_self'

Modification history

2025-07-29 03:01

Mathlib/Algebra/Homology/ComplexShape.lean

chore: some whitespace fixes (#27485) …

Modified ComplexShape.prev_eq_self'View on Github →

2024-07-17 21:45

Mathlib/Algebra/Homology/ComplexShape.lean

feat(Algebra/Homology): boundaries of embeddings of complex shapes (#14650) …

Added ComplexShape.prev_eq_self'View on Github →