generalize closed to ltR2W

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

Closed t6s closed 3 years ago

t6s commented 3 years ago

This PR introduces ltR2W to generalize and replace closed.