return to top
source
Simplification procedure for #[...][n] for n a Nat literal.
#[...][n]
n
Nat
Simplification procedure for #[...][n]? for n a Nat literal.
#[...][n]?
Simplification procedure for #[...][n]! for n a Nat literal.
#[...][n]!