Theorem Prefunctor.IsCovering.of_comp_left

Modification history