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):
Yury G. Kudryashov (Aug 18 2020 at 08:26):
field_theory/tower
Kenny Lau (Aug 18 2020 at 08:52):
Last updated: Dec 20 2023 at 11:08 UTC