Commit 2021-09-08 14:01 3d31c2dd
View on Github →chore(linear_algebra/affine_space/independent): allow dot notation on affine_independent (#8974)
This renames a few lemmas to make dot notation on affine_independent possible.
chore(linear_algebra/affine_space/independent): allow dot notation on affine_independent (#8974)
This renames a few lemmas to make dot notation on affine_independent possible.