Theorem Int.gc_ceil_coe

Modification history