Theorem tendsto_birkhoffAverage_apply_sub_birkhoffAverage

Modification history