Theorem IsFractional.map

Modification history