History projection operator

Redirect to:

• HPO formalism