Общие "библиотеки": подключение пакетов и макросы
Перевод конспектов по матану на либы
Наброски по общей алгебре - гомоморфизмы