Commit 2020-06-23 16:11 62e13643
View on Github →chore(linear_algebra/nonsingular_inverse): matrix.nonsing_inv
no longer requires base ring to carry has_inv
instance (#3136)
chore(linear_algebra/nonsingular_inverse): matrix.nonsing_inv
no longer requires base ring to carry has_inv
instance (#3136)