fixes issue # 25 - Githubissues

affeldt-aist / infotheo

A Coq formalization of information theory and linear error-correcting codes

GNU Lesser General Public License v2.1

64 stars 15 forks source link

fixes issue # 25 #36

Closed affeldt-aist closed 3 years ago

affeldt-aist commented 3 years ago

also minor documentation improvements
move a few basic lemmas to more appropriate locations
renamings

fixes #25 @t6s