Theorem unitInterval.zero_mem

Modification history