LawfulMonadLift

📁 Source: Batteries/Lean/LawfulMonadLift.lean

Statistics

Metric	Count
Definitions	0
Theorems instLawfulMonadLiftBaseIOEIO_batteries, instLawfulMonadLiftIOCoreM_batteries, instLawfulMonadLiftSTEST_batteries, instLawfulMonadLiftTCoreMMetaM_batteries, instLawfulMonadLiftTEIOExceptionCommandElabM_batteries, instLawfulMonadLiftTEIOExceptionCoreM_batteries, instLawfulMonadLiftTMetaMTermElabM_batteries, instLawfulMonadLiftTTermElabMTacticM_batteries	8
Total	8

(root)

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instLawfulMonadLiftBaseIOEIO_batteries 📖	—	—	—	—	instLawfulMonadLiftSTEST_batteries
instLawfulMonadLiftIOCoreM_batteries 📖	—	—	—	—	—
instLawfulMonadLiftSTEST_batteries 📖	—	—	—	—	—
instLawfulMonadLiftTCoreMMetaM_batteries 📖	—	—	—	—	—
instLawfulMonadLiftTEIOExceptionCommandElabM_batteries 📖	—	—	—	—	—
instLawfulMonadLiftTEIOExceptionCoreM_batteries 📖	—	—	—	—	—
instLawfulMonadLiftTMetaMTermElabM_batteries 📖	—	—	—	—	—
instLawfulMonadLiftTTermElabMTacticM_batteries 📖	—	—	—	—	—

---

← Back to Index