mathlib3 documentation

topology.algebra.order.left_right

Left and right continuity #

THIS FILE IS SYNCHRONIZED WITH MATHLIB4. Any changes to this file require a corresponding PR to mathlib4.

In this file we prove a few lemmas about left and right continuous functions:

Tags #

left continuous, right continuous