Seis operações para módulos de "Equação faltando" em espaços analíticos rígidos | Synapse