Commit 2021-04-22 10:34 2deda90e
View on Github →feat(data/fin): help simp reduce expressions containing fin.succ_above (#7308)
With these simp lemmas, in combination with #6897, simp; ring can almost automatically compute the determinant of matrices like ![![a, b], ![c, d]].