Theorem Rep.linearization_μ_hom

Modification history