Theorem Hollom.SpinalMap.apply_mem_Icc_of_mem_Icc

Modification history