Michal_Trzesimiech comments on Introducing EA Resources by LEAN