Theorem Function.IsFixedPt.birkhoffAverage_eq

Modification history