Theorem Int.self_sub_floor

Modification history