Theorem Int.fract_periodic

Modification history