Theorem Holor.holor_index_cons_decomp

Modification history