Theorem inr_comp_cfcₙHom_eq_cfcₙAux

Modification history