Theorem ContinuousAffineMap.congr_fun

Modification history