Commit 2024-07-14 23:18 75a4a8d1
View on Github →chore (LinearAlgebra.Dimension): make instNontrivial a local instance (#14120)
The universes are a bit strange in this since the only occurrence of one is in the HasRankNullity class. Since this isn't needed outside this file, we should probably make it local.