Theorem IsBaseChange.prodMap

Modification history

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