(* 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