Theorem pathComponent_symm

Modification history