Zulip Chat Archive
Stream: maths
Topic: subalgebra.comap'
Yury G. Kudryashov (Sep 18 2021 at 01:47):
Am I right that docs#subalgebra.comap' uses ' in order to avoid conflict with the definition that was renamed to docs#subalgebra.restrict_scalars in #7949 by @Heather Macbeth?
Eric Wieser (Sep 18 2021 at 06:46):
Yes, it can be unprimed now
Thomas Browning (Jul 14 2022 at 14:18):
Last updated: Dec 20 2023 at 11:08 UTC