Theorem Int.floor_eq_on_Ico'

Modification history