ModCases

📁 Source: Mathlib/Tactic/ModCases.lean

Statistics

Metric	Count
Definitions OnModCases, modCases, onModCases_start, onModCases_stop, onModCases_succ, proveOnModCases, OnModCases, modCases, onModCases_start, onModCases_stop, onModCases_succ, proveOnModCases, «tacticMod_cases_:_%_»	13
Theorems	0
Total	13

Mathlib.Tactic.ModCases

Definitions

Name	Category	Theorems
«tacticMod_cases_:_%_» 📖	CompOp	—

Mathlib.Tactic.ModCases.IntMod

Definitions

Name	Category	Theorems
OnModCases 📖	CompOp	—
modCases 📖	CompOp	—
onModCases_start 📖	CompOp	—
onModCases_stop 📖	CompOp	—
onModCases_succ 📖	CompOp	—
proveOnModCases 📖	CompOp	—

Mathlib.Tactic.ModCases.NatMod

Definitions

Name	Category	Theorems
OnModCases 📖	CompOp	—
modCases 📖	CompOp	—
onModCases_start 📖	CompOp	—
onModCases_stop 📖	CompOp	—
onModCases_succ 📖	CompOp	—
proveOnModCases 📖	CompOp	—

---

← Back to Index