Theorem LinearMap.congr_fun₂

Modification history