ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Result R2371 on
D1686: Limit superior
Equivalent characterisations of membership in a limit superior for sequences of sets