Theorem AffineSubspace.inf_coe

Modification history