import LipschitzTransformerFormal.RestrictedStoneWeierstrass
import LipschitzTransformerFormal.TransformerUniversalApproximation