Add MIL.Common import to intro example#278

gaearon wants to merge 1 commit intoavigad:masteravigad/mathematics_in_lean_source:masterfrom

gaearon:patch-1gaearon/mathematics_in_lean_source:patch-1Copy head branch name to clipboard