Theorem TrivSqZeroExt.snd_list_prod

Modification history

2025-03-18 20:06

Mathlib/Algebra/TrivSqZeroExt.lean

feat: generalize Mathlib.Algebra.TrivSqZeroExt (#23058) …

Modified TrivSqZeroExt.snd_list_prod View on Github →

2023-03-17 16:27

Mathlib/Algebra/TrivSqZeroExt.lean

feat: port Algebra.TrivSqZeroExt (#2951) …

Added TrivSqZeroExt.snd_list_prod View on Github →