Mumford conjecture

GPTKB entity