meta: adopt and enforce the csimp axiom-census rule#16

daira merged 1 commit into

maindaira/CompElliptic:mainfrom

csimp-census-ruledaira/CompElliptic:csimp-census-ruleCopy head branch name to clipboard