Theorem AlgEquiv.map_prod

Modification history

2024-06-21 21:56
Mathlib/Algebra/Algebra/Equiv.lean
chore: deprecate AlgEquiv.map_* lemmas (#14005) …
Deleted AlgEquiv.map_prodView on Github →
2024-06-20 16:11
Mathlib/Algebra/Algebra/Equiv.lean
chore: drop porting notes about nonrec (#13767)
Added AlgEquiv.map_prodView on Github →