Theorem finCongr_symm

Modification history