Simplicial_complexes_and_boolean_functions.Bij_betw_simplicial_complex_bool_func