Cheeger–Müller theorem

GPTKB entity