Theorem Rep.linearization_ε_inv_hom_apply

Modification history