Theorem Rep.linearization_of

Modification history