Theorem PerfectionMap.comp_equiv

Modification history