Structure Tests.VectorSpace

Modification history

2023-06-21 19:20
test/Variable.lean
feat: `variable?` command for automatically adding typeclass dependencies (#3162) …
Added Tests.VectorSpaceView on Github →