Theorem Rep.linearization_μ_inv_hom

Modification history