Theorem dist_birkhoffAverage_birkhoffAverage_le

Modification history