OAI/InformationTheory/SoftChannel/EndpointLimits.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.LeanBlast.CourtadeKumar.EndpointLimits_endpoint_one_sub_sq_posline 17
OAI/InformationTheory/SoftChannel/EndpointLimits.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.LeanBlast.CourtadeKumar.EndpointLimits_endpoint_one_sub_sq_pos line 17