Theorem IsFractional.inf_right

Modification history