Theorem LinearMap.tendsto_birkhoffAverage_of_ker_subset_closure

Modification history