Commit 2021-04-06 05:50 415b369d
View on Github →feat(linear_algebra): c ≤ dim K E iff there exists a linear independent s : set E, card s = c (#7014)
feat(linear_algebra): c ≤ dim K E iff there exists a linear independent s : set E, card s = c (#7014)