Documentation

Mathlib.Tactic.Inclusion.Extension.IntervalInt.Init

Initialization for the integer interval extension family #

This file initializes the interval_int inclusion family.

source
opaque Inclusion.IntervalInt.intervalIntFamily :
InclusionFamily

Initializes the interval_int inclusion family.