Theorem AffineSubspace.coe_inclusion_apply

Modification history