Friedrichs inequality

GPTKB entity