Novikov's compact leaf theorem

GPTKB entity

Statements (16)