External Links

    Journal: Formalized Mathematics

    Volume 27, Issue 4

    321 -- 335Chad E. Brown, Karol Pak. AIM Loops and the AIM Conjecture
    337 -- 345Adam Grabowski. Formal Development of Rough Inclusion Functions
    runs on