Theorem dist_birkhoffSum_apply_birkhoffSum

Modification history