search

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

Rename lub_op_hull #28

Closed affeldt-aist closed 3 years ago

affeldt-aist commented 3 years ago

https://github.com/affeldt-aist/infotheo/blob/864db9a0fa1b6dcadea8e3e3813a31ad362e8eaf/probability/necset.v#L760

"op" should not appear in the lemma name, there are other instance of this problem in this file