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: May 02 2025 at 03:31 UTC