Theorem dist_birkhoffAverage_birkhoffAverage

Modification history