Definitionintro
Floor division
Also called floored division, ceiling division.
Rounds the quotient toward negative infinity, with the remainder taking the sign of the divisor.
Rounds the quotient toward negative infinity, with the remainder taking the sign of the divisor.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag C75AVS Edit this page History Report an error