Commit 2024-06-29 09:06 16761cde

View on Github →

chore: add missing simp lemma LinearMap.coe_coe (#14241)

Estimated changes

added theorem LinearMap.coe_coe