Theorem isClosed_setOf_tendsto_birkhoffAverage

Modification history