Theorem AffineSubspace.coe_direction_eq_vsub_set

Modification history