Theorem Rep.coe_linearization_obj

Modification history