PRCSignedStrengthenedNativeCostSignedAdmissibleCharacterFactorizationTarget_of_character_factorization_and_two_calibration

theorem

`PRCSignedStrengthenedNativeCostSignedAdmissibleCharacterFactorizationTarget_of_character_factorization_and_two_calibration`

proved

show as:

module: IndisputableMonolith.Foundation.PrimitiveRecognitionCalculus.PRCNativeCostUniqueness
domain: Foundation
line: 13903 · 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.