/-! Interpretation convention: this module proves facts about the inner one-particle operator and their lift. The physic ...

Initializing...

/-! Interpretation convention: this module proves facts about the inner one-particle operator and their lift. The physic ... · Prove2Me