5 commits

Author	SHA1	Message	Date
Pietro Monticone	5e6dc49028	Update Rows.lean	2024-06-09 21:34:22 +02:00
Pietro Monticone	835e917f0d	golf proofs in Rows.lean	2024-06-09 21:33:31 +02:00
jstoobysmith	d448c78045	refactor: lint	2024-04-29 10:42:44 -04:00
jstoobysmith	ff89c3f79d	refactor: Major refactor of CKMMatrix	2024-04-29 08:13:52 -04:00
jstoobysmith	5a5540ba78	feat: Every CKM can be written with standard parameters	2024-04-26 10:32:03 -04:00