Laurent Théry (Jul 08 2021 at 13:00): Laurent Théry (Jul 08 2021 at 13:00):I have an assumption that is {near x, continuous f} is there a direct way to get {for x, continuous f}
Cyril Cohen (Jul 08 2021 at 13:12):nbhs_singleton ?
Cyril Cohen (Jul 08 2021 at 13:14):Cyril Cohen said:
nbhs_singleton?
I think the name is bad not intuitive enough (it's inherited from coquelicot's locally_singleton) and that we should change the name ASAP
Last updated: Sep 28 2023 at 11:01 UTC