Theorem Computability.sectionΓ'Bool_inclusionBoolΓ'

Modification history

2025-01-21 04:10
Mathlib/Computability/Encoding.lean
chore: address some porting notes in Mathlib/Computability (#20822)
Added Computability.sectionΓ'Bool_inclusionBoolΓ'View on Github →