Theorem Coheyting.boundary_le_boundary_sup_sup_boundary_inf_right

Modification history