Theorem Int.floor_congr

Modification history