]> gitweb.michael.orlitzky.com - sage.d.git/search
cone/faces.py: add test for Proposition 3.1 and Corollary 3.9 in Tam.