Gallina Index

b | c | p
 
b
Bound on the ceiling function
 
c
Case split
 
p
Psatz