Theorem Pibase.s

Modification history

2026-09-01 08:37
MathlibTest/CrossRefAttribute.lean
feat: implement pi-base cross-reference attribute (#41487) …
Added Pibase.sView on Github →