Theorem Prefunctor.IsCovering.of_comp_right

Modification history