Theorem Ordinal.one_CNF

Modification history