Def Cache.IO.isFromMathlib

Modification history

2025-04-03 01:55
Cache/IO.lean
refactor(Cache): use module name as key instead of unresolved file path (#21834) …
Added Cache.IO.isFromMathlibView on Github →