nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqjvrljj4jyvuwkflq2ucxerruprum6lj2ju4kjzp3gtaawf42uefsd2l2x5 Random update, but I'm definitely getting the impression that while the usage / informal of infinitesimals is more intuitive, the underlying work / formalization is anything but, lol
Th...