msantossilva@sh.itjust.worksM to math@sh.itjust.works · 1 year agoPolymorphism is not set-theoreticinria.hal.scienceexternal-linkmessage-square0fedilinkarrow-up11
arrow-up11external-linkPolymorphism is not set-theoreticinria.hal.sciencemsantossilva@sh.itjust.worksM to math@sh.itjust.works · 1 year agomessage-square0fedilink