Skip to content

Fix some proofs

Fix some proofs #1470

lean

succeeded Nov 12, 2024 in 12m 58s