Zulip Chat Archive

Stream: PR reviews

Topic: 3844 tower law for modules


view this post on Zulip Yury G. Kudryashov (Aug 18 2020 at 03:56):

Post-review: @Kenny Lau the docstrings describe the old version (algebra over a field, not a vector space over a field).

view this post on Zulip Yury G. Kudryashov (Aug 18 2020 at 03:57):

Could you please update docstrings for lemmas and the file-level module docstring?

view this post on Zulip Kenny Lau (Aug 18 2020 at 06:30):

@Yury G. Kudryashov could you point to a specific line?

view this post on Zulip Yury G. Kudryashov (Aug 18 2020 at 08:26):

#3844

view this post on Zulip Yury G. Kudryashov (Aug 18 2020 at 08:26):

field_theory/tower

view this post on Zulip Kenny Lau (Aug 18 2020 at 08:52):

#3853


Last updated: May 09 2021 at 14:10 UTC