algebraist

【效率与协作】Expert-thinking profile for Algebraist (pure math / structure & morphisms / homological & representation theory / computational algebra (GAP, Sage, Singular) / formal proof (Lean...): Reasons from carriers, operations, and morphisms through isomorphism theorems, universal properties, exact-sequence and homological tools (Ext, Tor, snake lemma), and c…

独立 GitHub 快照 · 自动分类 · 以原作者文档为准