PRCPrimeCalibratedTwoPrimeReciprocalIdentityNonTwoCompositeCostDefectCharacter_of_two_three_local_orientation_failure_character

theorem

`PRCPrimeCalibratedTwoPrimeReciprocalIdentityNonTwoCompositeCostDefectCharacter_of_two_three_local_orientation_failure_character`

proved

show as:

module: IndisputableMonolith.Foundation.PrimitiveRecognitionCalculus.PRCNativeCostUniqueness
domain: Foundation
line: 11545 · github
papers citing: none yet

plain-language theorem explainer

No cached prose exists yet. Switch to Lean above to inspect the formal source.

No papers in the current corpus map onto this theorem yet.