Theorem dist_birkhoffAverage_apply_birkhoffAverage

Modification history