Theorem Pibase.p

Modification history

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