Theorem Rep.linearization_single

Modification history