Theorem Rep.linearization_obj_ρ

Modification history