Fock–Krylov theorem

GPTKB entity