OAI/Computability/PerfectCompleteness/Decoding/ChildFiniteCallCollisionTransfer.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.ChildFiniteCallCollisionTransfer.marked_restricted_le_uniform_full line 19