Theorem dist_birkhoffSum_birkhoffSum_le

Modification history