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: Dec 20 2023 at 11:08 UTC