Etymology
Today it means: Isomorphic to the limit of a filtered projective system of discrete groups. Full definition →
From pro- + discrete.
Etymology from Wiktionary, CC BY-SA 4.0.