Theorem quasiIso_of_comp_right

Modification history