Theorem AffineSubspace.coe_direction_eq_vsub_set_right

Modification history