Lughet
›
›
→
prorepresentable functor — English to Chinese Translation