Zulip Chat Archive
Stream: Is there code for X?
Topic: Jointly Epimorphic Families
Adam Topaz (May 19 2023 at 18:12):
Do we have a standard way of speaking about jointly epimorphic families? My search came up short on both mathli3 and mathlib4.
Last updated: May 02 2025 at 03:31 UTC