Post #2636103
2026-05-08 11:59 UTC
@mc@mathstodon.xyz @JacquesC2@types.pl
Maybe that's the difference between PshIso and UniversalElements in our formulation?
Replies (1)
-
@mc@mathstodon.xyz 2026-05-08 12:40
@maxsnew@types.pl @JacquesC2@types.pl could you link to their definitions?