Theorem DirectedSystem.map_self

Modification history