Theorem congr_fun₂

Modification history