Theorem frontier_Ioi'

Modification history