Theorem LinearMap.tripolar_eq_polar

Modification history