mathlib
e96bdfbd - chore(linear_algebra/affine_space/affine_subspace) add set_like instance (#18622)

Commit
2 years ago
chore(linear_algebra/affine_space/affine_subspace) add set_like instance (#18622) Needed for the port.
Author
Parents
Loading