Commit 2024-12-20 14:57 a4cfef87

View on Github →

feat: determinant of left multiplication (#19873) From FLT

Estimated changes

added theorem LinearMap.det_mulLeft
added theorem LinearMap.det_mulRight
added theorem LinearMap.det_ring