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)