Theorem finCongr_apply_mk

Modification history