Fuchs–Shapiro lemma

GPTKB entity

Statements (12)