Closed affeldt-aist closed 2 years ago
https://github.com/affeldt-aist/infotheo/blob/9c353b666790771346fd66a027b5ef252edfead8/lib/classical_sets_ext.v#L32
https://github.com/affeldt-aist/infotheo/blob/9c353b666790771346fd66a027b5ef252edfead8/lib/classical_sets_ext.v#L32