Theorem AffineSubspace.comap_inf

Modification history