Theorem Int.floorRing_floor_eq

Modification history