Theorem Coheyting.boundary_sup_sup_boundary_inf

Modification history