WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Floor and ceiling functions

Revision #2980 → #3481 · back to history

modifiedArithmetic right-shift equals floor division5e1d0dfb31d9
FieldFrom #2980To #3481
mathlib.moduleMathlib.Data.Nat.BitsInit.Data.Nat.Bitwise.Basic
addedFractional part defining formula01bc3450fd94
addedFloor floor identity (nested floor)074f914104fe