Theory Outer_Friend_All

theory Outer_Friend_All
imports Outer_Friend_Network
begin


end