mathematical-module public under algebraic-structure 35 List Picture As a command vector-space 3 All 4 below mathematical-module →