Theorem pathComponent_congr

Modification history