1
Decreases the prime level by value.
value
References unprime().
Referenced by operator--(), syten::T3N::TDVP::Worker::project_onto_orthogonal_complement(), and unprime().
This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.