Commit 2025-03-12 13:47 cab1fa67

View on Github →

chore: resolve checkType porting note (#22711)

Estimated changes

Modified Mathlib/CategoryTheory/Monoidal/Tor.lean

deleted theorem CategoryTheory.Tor'_map_app'

Modified Mathlib/RepresentationTheory/GroupCohomology/Basic.lean

modified theorem inhomogeneousCochains.d_eq

Modified scripts/nolints_prime_decls.txt