Zulip Chat Archive

Stream: PR reviews

Topic: 3844 tower law for modules


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).

Yury G. Kudryashov (Aug 18 2020 at 03:57):

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

Kenny Lau (Aug 18 2020 at 06:30):

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

Yury G. Kudryashov (Aug 18 2020 at 08:26):

#3844

Yury G. Kudryashov (Aug 18 2020 at 08:26):

field_theory/tower

Kenny Lau (Aug 18 2020 at 08:52):

#3853


Last updated: Dec 20 2023 at 11:08 UTC