Theorem Directed.mono_comp

Modification history

2023-01-30 11:31

Mathlib/Order/Directed.lean

feat: port RingTheory.Subsemiring.Basic (#1862)

Modified Directed.mono_comp View on Github →

2022-12-13 10:52

Mathlib/Order/Directed.lean

feat port: Order.Directed (#963) …

Added Directed.mono_comp View on Github →