T5 separation axiom

GPTKB entity

Statements (17)