Theorem Matrix.natCast_kronecker

Modification history

2024-05-06 15:07

Mathlib/Data/Matrix/Kronecker.lean

feat: add `natCast` lemmas for `Matrix.kronecker` (#12703)

Added Matrix.natCast_kronecker View on Github →