Theorem IsBaseChange.pi

Modification history

2025-04-13 08:52
Mathlib/RingTheory/TensorProduct/IsBaseChangePi.lean
feat(RingTheory): base change commutes with finite products (#22339) …
Added IsBaseChange.piView on Github →