Theorem TrivSqZeroExt.snd_pow_of_smul_comm

Modification history

2023-03-17 16:27
Mathlib/Algebra/TrivSqZeroExt.lean
feat: port Algebra.TrivSqZeroExt (#2951) …
Added TrivSqZeroExt.snd_pow_of_smul_commView on Github →