Commit 2025-11-30 12:04 b8fec733

View on Github →

chore(RingTheory/TensorProduct): remove IsBaseChange.« end » (#32050)

Estimated changes

deleted theorem IsBaseChange.«