Zulip Chat Archive

Stream: triage

Today I chose PR 18289 for discussion!

feat(linear_algebra/invariant_submodule): invariant submodules
Created by @None (@themathqueen) on 2023-01-25
Labels: awaiting-review, t-algebra, modifies-synchronized-file

Is this PR still relevant? Any recent updates? Anyone making progress?

Last updated: May 02 2025 at 03:31 UTC