Theorem Compactum.lim_eq_str

Modification history