Theorem FirstOrder.Ring.zero_def

Modification history