Theorem finCongr_symm_apply_coe

Modification history