Zulip Chat Archive

Stream: lean4

Topic: Defining Prism Operator

Notification Bot (Mar 25 2024 at 07:57):

This topic was moved to #mathlib4 > Defining Prism Operator by Johan Commelin.

Last updated: May 02 2025 at 03:31 UTC