Posts

Showing posts with the label floor-function addition proof

Proof of ⌊x+y⌋=⌊x⌋+y.