mathlib documentation

tactic.monotonicity.basic

structure tactic.interactive.mono_cfg  :
Type

def tactic.interactive.last_two {α : Type u_1} :
list αoption × α)

Equations