Skip to main content
6 events
when toggle format what by license comment
Feb 26, 2023 at 22:40 vote accept Saúl RM
Feb 26, 2023 at 21:53 answer added Anton Petrunin timeline score: 5
Feb 25, 2023 at 22:53 comment added Saúl RM You are right, thanks! I can leave the question anyways in case someone else searches it using this phrasing
Feb 25, 2023 at 22:18 comment added Andrej Bauer Almost a duplicate of math.stackexchange.com/questions/12285/…
Feb 25, 2023 at 22:16 history edited Andrej Bauer CC BY-SA 4.0
added 62 characters in body
Feb 25, 2023 at 22:11 history asked Saúl RM CC BY-SA 4.0