Theorem ContDiffBump.zero_of_le_dist

Modification history