Def Pi.algHom

Modification history

2025-01-31 09:06

Mathlib/Algebra/Algebra/Pi.lean

refactor(Algebra/Algebra/Pi): cleanup and renaming (#21213) …

Modified Pi.algHom View on Github →

2024-10-17 14:30

Mathlib/Algebra/Algebra/Pi.lean

feat(RingTheory/Smooth): Smoothness of product rings. (#15131)

Added Pi.algHom View on Github →