Theorem finCongr_apply_coe

Modification history