Theory VS_Conclusions

(* Title: Examples/Vector_Spaces/VS_Conclusions.thy
   Author: Mihails Milehins
   Copyright 2021 (C) Mihails Milehins
*)
theory VS_Conclusions
  imports
    VS_Prerequisites
    VS_Groups
    VS_Modules
    VS_Vector_Spaces
begin
end