prove axiom fn in tlb.rs - #570

prove axiom fn in tlb.rs#570

Je5s1e wants to merge 9 commits into

asterinas:mainasterinas/vostd:mainfrom

Je5s1e:prove/specs_mm_tlbJe5s1e/vostd:prove/specs_mm_tlbCopy head branch name to clipboard